Halldén-completeness by gluing of Kripke frames.

On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames

Halldén complete modal logics are defined semantically. They have a nice characterization as they are determined by homogeneous Kripke frames.

Kripke completeness revisited

The evolution of completeness proofs for modal logic with respect to the possible world semantics is studied starting from an analysis of Kripke’s original proofs from 1959 and 1963. The critical reviews by Bayart and Kaplan and the emergence of Henkin-style completeness proofs are detailed. It is shown how the use of a labelled sequent system permits a direct and uniform completeness proof for...

Kripke Completeness for Intermediate Logics

Generalized Kripke Frames

Algebraic work [9] shows that the deep theory of possible world semantics is available in the more general setting of substructural logics, at least in an algebraic guise. The question is whether it is also available in a relational form. This article seeks to set the stage for answering this question. Guided by the algebraic theory, but purely relationally we introduce a new type of frames. Th...

Definability in Quantum Kripke Frames

I characterize the first-order definable, bi-orthogonally closed subsets of a quasiquantum Kripke frame satisfying a reasonable assumption. The techniques are generalization of those in Goldblatt’s paper published in 1984. Combining these techniques with Goldblatt’s idea, I prove that quantum Kripke frames are not firstorder definable in the class of quasi-quantum Kripke frames.